Functional analysis for PDEs